A Common Compiler for LOTOS and SDL Specifications

This paper describes 8 translation of LOTOS and SDL specific8tion languages into executable code, 8s it was prototyped in the Specification and Progr8mming Environment for Communication Software (SPECS) project under the Research and Develo ment in Advanced communications in grope (RACE) program. Both ian uages are translated into a common intermedate representation in the form of a network of state machines with both synchronous 8nd asynchronous communic8tions. By 8 series of tr8nsformations that make fuii use of the equivalence relations defined on LOTOS processes, this transi8tion solves uni ue probiems stemming from the highiy a B str ct nature of LOTOS. The common intermediate representation is mapped into C code that can be executed in a specific run-time environment, impiemented on a UNip-like operating system. SPECS has also developed a pragmatic ap roach to re resent impiementabie daf8 types in t i e aigegaic framework of LOTOS and SDL, based on 8 set of predefined type constructors.